<html>
<head><meta charset="utf-8"><title>lifetime parameter constaints · t-compiler/rust-analyzer · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/index.html">t-compiler/rust-analyzer</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/lifetime.20parameter.20constaints.html">lifetime parameter constaints</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="182063442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/lifetime%20parameter%20constaints/near/182063442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sebastian Zimmer <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/lifetime.20parameter.20constaints.html#182063442">(Nov 27 2019 at 22:19)</a>:</h4>
<p>Looks like at the moment constaints of the form <code>T: 'a</code> end up being interpreted as {error}. Presumably this is expected, since I don't see any code that looks like it could handle them. Are there plans to add syntactic support for them (i.e. we display them in inferred types but don't check them), or are waiting for borrow checking with polonius to be added?</p>



<a name="182064184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/lifetime%20parameter%20constaints/near/182064184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/lifetime.20parameter.20constaints.html#182064184">(Nov 27 2019 at 22:30)</a>:</h4>
<p>I think borrow checking is very far off. It would be possible to add enough support to display lifetime bounds, but really I think it'd be better to just leave them out completely for now</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>